321. Formal Aspects of Component Software
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service
322. Formal Modeling and Analysis of Timed Systems
پدیدآورنده : / Krishnendu Chatterjee, Thomas A. Henzinger
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
323. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
پدیدآورنده : Hans-Jorg Kreowski...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : ، Formal methods )Computer science(,، Computer software,Design ، Computer systems
رده :
QA
76
.
L28
Vol
.
3393
324. Formal system verification : state-of-the-art and future trends
پدیدآورنده : Rolf Drechsler, editor
کتابخانه: (طهران)
موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
325. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
326. Foundation Expression Blend 2
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Microsoft Expression Web (Computer software) ; sears. ; Web sites ; Authoring programs. ; Web sites ; Design. ; Multimedia systems. ; Internet programming. ; Web sites ; Design. ; sears. ;
327. Foundations of Intelligent Systems
پدیدآورنده : \ edited by Floriana Esposito, Olivier Pivert, Mohand-Saïd Hacid, Zbigniew W. Raś, Stefano Ferilli.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Expert systems (Computer science) -- Congresses.,Intelligent agents (Computer software) -- Congresses.,Artificial intelligence -- Congresses.,سیستم‌های خبره (کامپیوتر) -- کنگره‌ها ,عوامل هوشمند (نرم‌افزار کامپیوتر) ,هوش مصنوعی -- کنگره‌ها
رده :
QA76
.
76
.
E97
2015
E-Book
,
328. Foundations of intelligent systems : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006 : proceedings
پدیدآورنده : Floriana Esposito... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Intelligent agents )Computer software(,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
4203
329. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
330. Frameworks of IT prosumption for business development
پدیدآورنده : [edited by] Matgorzata Pankowska
کتابخانه: (هرمزکان)
موضوع : Business enterprises -- Technological innovations,Decision support systems,User-centered system design,Computer software -- Development -- Social aspects,Business enterprises--Computer networks--Security measures
331. Free for all :
پدیدآورنده : Peter Wayner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linux.,Linux (Système d'exploitation des ordinateurs),Linux.,Linux.,Free computer software.,Operating systems (Computers),Logiciels gratuits.,Systèmes d'exploitation (Ordinateurs),Computer operating systems.,Free computer software.,Operating systems (Computers)
رده :
QA76
.
76
.
O63
W394
2000
332. Future interaction design
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : computer interaction. ; Computer software ; Development. ; User interfaces (Computer systems) ; Design ; Human factors. ; -Human
333. Future interaction design II /
پدیدآورنده : Pertti Saariluoma, Hannakaisa Isomäki, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development,Design-- Human factors,Human-computer interaction,User interfaces (Computer systems)
334. Future interaction design II
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : computer interaction. ; Computer software ; Development. ; User interfaces (Computer systems) ; Design ; Human factors. ; -Human
335. Future interaction design II /Pertti Saariluoma, Hannakaisa Isomèaki, editors.
پدیدآورنده : Pertti Saariluoma, Hannakaisa Isomèaki, editors.
کتابخانه: (هرمزکان)
موضوع : Human-computer interaction,Computer software -- Development,User interfaces (Computer systems),Design--Human factors.
336. #GNOME/GTK+ programming bible
پدیدآورنده : #Arthur Griffith
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Graphical user interfaces )Computer systems( ،Computer programming ،Computer software- Development
رده :
#
QA
،#.
U83
,
G75
337. GTK+/Gnome application development /
پدیدآورنده : Havoc Pennington.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Computer games-- Programming.,Graphical user interfaces (Computer systems),Application software-- Development.,Computer games-- Programming.,Desktop,Graphical user interfaces (Computer systems),Graphische Benutzeroberfläche,Interfaces graphiques (informatique),Linguagem de programação.,Ludiciels-- Programmation.,Open Source,Progiciels-- Développement.
رده :
QA76
.
76
.
D47
P46
1999
338. #GTK+/Gnome application development
پدیدآورنده : #Havoc Pennington
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Application software- Development ،Graphical user interfaces )Computer systems( ،Computer games- Programming
رده :
#
QA
،#.
D47
,
P46
339. Generation Digital Workplace-Build a Next
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering. ; User interfaces (Computer systems). ; Management information systems. ; Computer programming. ; Information storage and retrieval. ; Operating systems (Computers). ; Software Engineering. ;
